The interrogative model of inquiry meets dynamic epistemic logics
نویسنده
چکیده
Acknowledgements I would like to express my sincere gratitude to my supervisor Johan van Benthem for his guidance during all the period of the master thesis, for his precious comments and suggestions and for teaching the DEL project in January, with Davide Grossi, which provided me with the necessary background on dynamic epistemic logics to carry out this thesis project. I am also extremely grateful to Eric Pacuit, who accepted to co-supervise the master thesis, and who has supported and guided me during all the phases that led to the present thesis. I have enormously benefited from numerous discussions with Stefan Minica and Fernando Velazquez-Quesada on dynamic logics of questions and dynamic logics of inferences, and on the thesis project itself. I am grateful to them for their help and their comments that really contributed to the progression of the thesis project. I would like also to thank Emmanuel Genot who shared with me his expertise on the interrogative model of inquiry. I am thankful to Johan van Benthem, Eric Pacuit, Frank Veltman and Robert van Rooij for accepting to be members of the committee for the master thesis defense. Finally, I would like to thank my family, in particular my mother and Vanessa for all their support during the whole period of the master thesis.
منابع مشابه
Synthesising and Implementing Tableau Calculi for Interrogative Epistemic Logics
This paper presents a labelled tableau approach for deciding interrogative-epistemic logics (IEL). Tableau calculi for these logics have been derived using a recently introduced tableau synthesis method. We also consider an extension of the framework for a setting with questioning modalities over sequences of formulae called sequential questioning logic (SQL). We have implemented the calculi us...
متن کاملToward a Dynamic Logic of Questions
Questions are different from statements, but they are just as important in driving reasoning, communication, and general processes of investigation. The first logical studies merging questions and propositions seem to have come from the Polish tradition: cf. [24]. A forceful modern defender of this dual perspective is Hintikka, who has long pointed out how any form of inquiry depends on an inte...
متن کاملFoundational Issues in Logical Dynamics
A healthy field combines two driving forces, extension of coverage and theoretical reflection – and modal logic is no exception. In this talk, we look at some broader theoretical issues raised by recent developments in dynamic logics of information flow, whose main technical feature is the modal study of definable model change. Our pilot system will be public announcement logic PAL, the base ca...
متن کاملDynamic Epistemic Logic II: Logics of Information Change
Dynamic epistemic logic, broadly conceived, is the study of logics of information change. Inference, communication and observation are typical examples of informative events which have been subjected to a logical analysis. This article will introduce and critically examine a number of different logical systems that have been used to reason about the knowledge and beliefs of a group of agents du...
متن کاملModel checking Dynamic Epistemic Spatial Logics ∗
We propose a new class of logics for specifying and model-checking properties of distributed systems Dynamic Epistemic Spatial Logics. They have been designed as extensions of Hennessy-Milner logic with spatial operators (inspired by Cardelli-Caires spatial logic) and epistemic operators (inspired by dynamic-epistemic logics). Our logics focus on observers, agents placed in different locations ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Synthese
دوره 192 شماره
صفحات -
تاریخ انتشار 2015